[未踏名鑑]
[採択区分別一覧]
[スパクリ一覧]
[所属別一覧]
坂口 和彦
未踏採択
- 2009年下期未踏ユース テーマ:組み込み用プログラミング言語「Yadorigi」の開発
PM: 筧 捷彦
履歴書的経歴
-
木更津工業高等専門学校 情報工学科
2009年下期時点
-
筑波大学情報学群
2012-09-15
創造的活動歴
-
講演: 第45回情報科学若手の会「「定理証明器 Coq でスタック指向プログラミング」」
2012-09-15
フィードバック
未踏社団会員は直接編集できます: edit on kintone
非会員でも修正の提案をすることができます。